Matematicko-logické modelovanie v teórii a praxi `80 - Šuška, Michal (rz1, 1980)