Logische und Methodische Grundlagen der Programm- und Systementwicklung

by Manfred Broy, Alexander Malkis