author = { Gergely, Tamás AND Úry, László },

title = { First-order programming theories },

publisher = {Springer},

isbn = {3540542779},

isbn = {0387542779},

keywords = { Computer programming , Programmierung , Prädikatenlogik , Stufe 1 },

year = {1991},

abstract = {Literaturverz. S. [335] - 340},

booktitle = {EATCS monographs on theoretical computer science ; 24},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }