Konzeption eines Verfahrens zur rechnerunterstützten Verifikation des Entwurfs von Automatisierungsprogrammen - Baur, Peter (1987)
Stuttgart, Univ., Diss.