Verifikation objektorientierter Programme mit Lego (1994)

by Wolfgang Naraschewski