author : Joseph A. Goguen

Short works

• Systems and Distinctions; Duality and Complementarity. 1979. (In Facets of Systems Science )
• Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. 1987. (In Research Directions in Object-Oriented Programming )
• OOZE. 1992. (In Object Orientation in Z )
• Hiding More of Hidden Algebra. 1999. (In FM'99 volume 2 )