GEDANKEN|a simple typeless language based on the principle of completeness and the reference concept (1970)

by J C Reynolds
Venue:In Communications of the ACM