Linear projective Program Syntax door I. Bethke & J.A. Bergstra