Joseph Goguen. "Abstract errors for abstract data types"

IFIP Working Conference, 1977 Formal Description o (1978) IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978   Joseph Goguen

Languages mentioned OBJ {1976}