[Goguen 88] J. A. Goguen and T. N. Winkler, "Introducing OBJ3", SRI International Technical Report, Palo Alto, CA, August 1988.
[Greenspan 82] S.J. Greenspan, J. Mylopoulos, and A Borgida, "Capturing More World Knowledge in the Requirements Specification", Proceedings of the Sixth International Conference on Software Engineering, 1982.
[Gordon 85] M. Gordon, "A Proof Generating System
for Higher-Order Logic", Univerity of Cambridge Computer Laboratory,
January 1987.
[Gosling 00] J. Gosling, B. Joy, G Steele, G
Bracha, "The Java Language Specification, Second Edition", Sun
Microsystems, Inc., 2000.
[Guttag 85] J. Guttag, J. J. Horning and J. M. Wing, "The Larch Family of Specification Languages", IEEE Software, May 1985.
[Ross 77] D. T. Ross, "Structured Analysis (SA): A Language for Communicating Ideas", IEEE Transactions on Software Engineering, January 1977.
[Rushby 91] J. Rushby, "The EHDM Reference Manual", SRI International Technical Report, Palo Alto, CA, 1991.
[Stroustrup 91] B. Stroustrup, The C++ Programming Language, Second Edition, Addison-Wesley, 1991.
[Teichroew 77] D. Teichroew and E. A. Hershey III, "PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems", IEEE Transactions on Software Engineering, January 1977.
[Wirth 85] N. Wirth, Programming in Modula-2,
Third Edition, Springer-Verlag, 1985.