Foundations of algebraic specification and formal software development - Sannella, Donald , 1956-; Tarlecki, Andrzej (Monographs in theoretical computer science, 2012)