Programma-Algebra by A. Ponse & I. Bethke