Algebraic Implementation of Objects over Objects,” in Stepwise Refinement of Distributed Systems (1990)

by H-D Ehrich, A Sernadas
Venue:Lecture Notes in Computer Science 430