The Godel Programming Language by John Lloyd and Patricia Hill. Former library copy.