Foundations of algebraic specification and formal software development by Sannella, Donald, Tarlecki, Andrzej fromMonographs in Theoretical Computer Science 0 Type: Book
