GEDANKEN -- a simple typeless laguage based on the principle of completeness and the reference concept (1971)

by J C Reynolds
Venue:Comminications of the ACM