Rudolf Berghammer Bettina Buth Karl-Heinz Buth Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. 11-21 1995 conf/seuh/1995 SEUH db/conf/seuh/seuh1995.html#BerghammerBB95