author = { Mathematisch Centrum Amsterdam Bakker, Jacobus W. de },

title = { Foundations of computer science },

publisher = {Mathemat. Centrum},

keywords = { Konferenzschrift , Datenverarbeitung },

year = {1975-},

booktitle = {Mathematical centre tracts ; .},

address = { Amsterdam },

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