Angewandte Informatik und Formale Beschreibungsverfahren

by Georg Lausen, Andreas Oberweis, Gunter Schlageter