Dijkstrův programovací jazyk I. - Uhlířová, Hana (1984)