Sofsem 2000 - Theory and Practice of Informatics door K.G. Jeffery & V. Hlavac