De Cindio, and Giancarlo Mauri. OBJSA net systems: a class of high-level nets having objects as domains (1990)

by Eugenio Battiston, Fiorella
Venue:Applications of Algebraic Specification Using OBJ