@book{Kfoury1982,
author = {Kfoury, A J and Moll, Robert N and Arbib, Michael A},
keywords = {B-SysSoft-HW-TI},
publisher = {Springer-Verlag},
title = {{A Programming approach to Computability}},
year = {1982},
}

{"_id":"EtabMoyN7nD7xv62s","bibbaseid":"kfoury-moll-arbib-aprogrammingapproachtocomputability-1982","downloads":0,"creationDate":"2017-09-05T15:16:01.001Z","title":"A Programming approach to Computability","author_short":["Kfoury, A J","Moll, R. N","Arbib, M. A"],"year":1982,"bibtype":"book","biburl":"https://www2.swc.rwth-aachen.de/docs/booksHL.bib","bibdata":{"bibtype":"book","type":"book","author":[{"propositions":[],"lastnames":["Kfoury"],"firstnames":["A","J"],"suffixes":[]},{"propositions":[],"lastnames":["Moll"],"firstnames":["Robert","N"],"suffixes":[]},{"propositions":[],"lastnames":["Arbib"],"firstnames":["Michael","A"],"suffixes":[]}],"keywords":"B-SysSoft-HW-TI","publisher":"Springer-Verlag","title":"A Programming approach to Computability","year":"1982","bibtex":"@book{Kfoury1982,\nauthor = {Kfoury, A J and Moll, Robert N and Arbib, Michael A},\nkeywords = {B-SysSoft-HW-TI},\npublisher = {Springer-Verlag},\ntitle = {{A Programming approach to Computability}},\nyear = {1982},\n}\n","author_short":["Kfoury, A J","Moll, R. N","Arbib, M. A"],"key":"Kfoury1982","id":"Kfoury1982","bibbaseid":"kfoury-moll-arbib-aprogrammingapproachtocomputability-1982","role":"author","urls":{},"keyword":["B-SysSoft-HW-TI"],"downloads":0},"search_terms":["programming","approach","computability","kfoury","moll","arbib"],"keywords":["b-syssoft-hw-ti"],"authorIDs":[],"dataSources":["mBXRzXXyMLZtcDe8E"]}