D. Grune, "ALEPH, een grammaticale aanpak van programmacorrectheid", "ALEPH, A Grammatical Approach to Program Correctness" (in Dutch), in Math. Centrum Syllabus 21, Mathematisch Centrum, Amsterdam, 1975,

Languages mentioned

• ALEPH {1975} A Language Encouraging Program Hierarchy