First-order programming theories - Gergely,Tamás; Úry, László, 1953- (EATCS monographs on theoretical computer science, 1991)