On the Relationship Between Algebraic Module Specifications and Program Modules.

Michael Löwe Hartmut Ehrig Werner Fey Dean Jacobs On the Relationship Between Algebraic Module Specifications and Program Modules. 83-98 1991 conf/tapsoft/1991-2 TAPSOFT, Vol.2 db/conf/tapsoft/tapsoft91-2.html#LoweEFJ91 http://dx.doi.org/10.1007/3540539816_62