Hill, P. M. et al, "The Goedel Programming Language", MIT Press 1994
(1994)
Languages mentioned
Goedel
{1994}