Programma-Algebra, een inleiding tot de programmatuur by A. Bethke & A. Ponse