Formale objektorientierte Softwareentwicklung mit({cal F}{{scriptstyle{cal O}{cal X}}})Achatz · Informatik - Forschung und Entwicklung1997PDF474 KB