Donald Sannella Andrzej Tarlecki Some Thoughts on Algebraic Specification. 31-38 1984 conf/adt/1984 ADT db/conf/adt/adt1984.html#SannellaT84