Kazimierczak, Jan. Elementy syntezy formalnej systemów operacyjnych / Jan Kazimierczak. - Wrocław : Wydaw. Politechniki Wrocławskiej, 1979. - 135 s. : il. ; 24 cm. bibliogr. Uniwersalna Klasyfikacja Dziesiętna: 681.323:007.3(075.8)