Futschek, G. (1989). Programmentwicklung und Verifikation (H. Schauer, Ed.). Springer Wien. ( reposiTUm)