[FOOPS] J. Goguen and J. Meseguer, Unifying Functional, Object-Oriented and
Relational Programming with Logical Semantics, in Research Directions in
Object-Oriented Programming, Bruce Shriver and Peter Wegner ed., MIT publ., 1987.
[Flanagan] David Flanagan, Java in a Nutshell, O'Reilly, 1996.
[Kneale] William Kneale and Martha Kneale, The Development of Logic,
Clarenton Press, 1984.
[Lemay and Perkins] Teach Yourself JAVA in 21 Days, Sams.net, 1996.
[Lucas] J. R. Lucas, A Treatise on Time and Space, Methuen, 1973.
[Plum] Thomas Plum, Fooling the User of a Programming Language, from
Software --- Practice and Experience, volume 7, number 2,March-April 1977.
[Steele] Guy L. Steele, Common Lisp the Language, 2nd edition,
Digital Press, 1990.