Richard Waldinger

• The logical basis for computer programming
• Logcl Basis Cmpt Prog V1