Foundations of algebraic specification and formal software development - Sannella, Donald, author (Springer-Verlag, 2012)