Oprogramowanie wspomagajace modelowanie systemów liczacych projekt OS (Wyd. Naukowe, 1980)