Eike Best Formale Methoden zur Erstellung robuster Software. 1-9 1984 conf/icftcs/1984sftz Software-Fehlertoleranz und -Zuverlässigkeit db/conf/icftcs/sftz1984.html#Best84 https://doi.org/10.1007/978-3-642-69705-0_1