Фугенфюллер. Callard and Bowser website. Introduction to formal methods in software engineering. OML AU. Ti saluto con affetto in inglese english.