Foundations of Algebraic Specification and Formal Software Development - Sannella, Donald; Tarlecki, Andrzej (Springer Nature, 2012)
Keywords: Category Theory, Homological Algebra; Computer programming, programs, data; Computer Science; Computer software; Computer software -- Development; Development; Formal methods (Computer science); Logics and Meanings of Programs; Mathematical Logic and Foundations; Mathematics; Software engineering; Software Engineering/Programming and Operating Systems