Foundations of algebraic specification and formal software development - Sannella, Donald 1956-; Tarlecki, Andrzej (New York Springer, 2012)
Keywords: Computer science; Computer science -- Mathematics; Computer software -- Development; Software engineering