Algebraic implementation of objects over objects (1990)

by H-D Ehrich, A Sernadas
Venue:Proc. REX Workshop “Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness”, LNCS 430