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