//-->
Axiomatising the logic of computer programming
Goldblatt, Robert, (1982)
Formal specification of programming languages : a panoramic primer
Pagan, Frank G., (1981)
Methodologie: Grundüberlegungen für die Konzeption von Forschung zu multilokaler Lebensführung
Sturm, Gabriele, (2020)