Mathematical models in computer systems : proceedings of the third Hungarian Computer Science Conference : Budapest, January 1981 - Varga, László Zsolt; Arató, Mátyás 1931- (Akadémiai Kiadó, 1981)