F. Orejas;M. P. Nivela;H. Ehrig
-;-;-
Abstract and behaviour module specifications
Mathematical Structures in Computer Science