Hartmut Ehrig;Peter Pepper;Fernando Orejas
-;-;-
Abstract and behaviour module specifications
Mathematical Structures in Computer Science