Christoph Walther Semantik und Programmverifikation Teubner Texte zur Informatik 34 Teubner 2001 3-519-00336-8