> Verlagsreihe
-
Tübingen:
Spezifikation objektorientierter Systeme Christoph Schmitz
Tübingen: Wilhelm-Schickard-Inst., Univ. Tübingen, 2000