An introduction to obj, a language for writing and testing formal algebraic specifications (1979)

by Joseph A Goguen, Joseph J Tardo
Venue:In Specification of Reliable Software Conference