Matematicko-logické modelovanie : sympózium (Bratislava : Dom techniky Československej vedeckotechnickej spoločnosti, 1989)