Alessandro Giovini Franco Morando Antonio Capani Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems. 335-349 1992 conf/alp/1992 ALP db/conf/alp/alp92.html#GioviniMC92 http://dx.doi.org/10.1007/BFb0013836