> Joseph A. Goguen
Joseph A. Goguen
author : Joseph A. Goguen
Systems and Distinctions; Duality and Complementarity. 1979.
Facets of Systems Science
Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. 1987.
Research Directions in Object-Oriented Programming
Object Orientation in Z
Hiding More of Hidden Algebra. 1999.
FM'99 volume 2