Stručná referenční příručka jazyka Turboprolog - David, Karel (Dům techniky ČSVTS, 1990)