Donald Sannella;Andrzej Tarlecki
-;-
Abstract and behaviour module specifications
Mathematical Structures in Computer Science