Georg Winterstein Norbert Heck Peter Trum Prädikatenlogik als Basis für eine Spezifikationssprache. 312-313 1980 conf/se/1980 Software Engineering db/conf/se/se1980.html#WintersteinHT80