//-->
Axiomatising the logic of computer programming
Goldblatt, Robert, (1982)
Formal specification of programming languages : a panoramic primer
Pagan, Frank G., (1981)
A Pragmatic Characterization of Concept Algebra: A Few Formal Remarks on Wang's Denotational Mathematics
Iurato, Giuseppe, (2017)