Joseph A. Goguen The Dry and the Wet. 1-17 1992 conf/isco/1992 ISCO db/conf/isco/isco1992.html#Goguen92