Eichholz, Stefan BSO: Modellierung eines betriebssystems mit hilfe von ITS Stefan Eichholtz, Helma Schneider - Munchen Universitat Munchen 1983 - 112 p fig., tab 20 cm - TUM I 8301 . Lucrarea este multigrafiata Contine bibliografie