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