An introduction to )BJ: A language for writing and testing software specifications (1979)

by Joseph A Goguen, Joseph Tardo
Venue:In Proc. of Conference on Specification of Reliable Software