//-->
Formal specification of programming languages : a panoramic primer
Pagan, Frank G., (1981)
Axiomatising the logic of computer programming
Goldblatt, Robert, (1982)
Vorschlag zur grafischen Repräsentation von Geschäftsmodellen
Deelmann, Thomas, (2004)