Joseph A. Goguen David A. Wolfram On Types and FOOPS. 1-22 1990 DS-4 db/conf/ds/ds90.html#GoguenW90