Soustavy pro zpracování dat - Pužman, Josef (České vysoké učení technické v Praze, 1980)