Boeken over Programma-Algebra, een inleiding tot de programmatuur