author = { Arbib, Michael A. AND Kfoury, Assaf J. AND Moll, Robert N. Arbib, Michael Anthony },

title = { A basis for theoretical computer science },

publisher = {Springer},

isbn = {0387905731},

isbn = {3540905731},

keywords = { Computer science },

year = {c 1981},

booktitle = {Texts and monographs in computer science ; The AKM series in theoretical computer science},

address = { New York },

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