00319nam a2200109Ia 4500008004100000020002200041041001200063100006800075245001300143260003200156650002100188231221s9999 xx 000 0 und d a978-1-4020-2967-7 aEnglish aMark A. Blythe, Kees Overbeeke, Andrew F. Monk, Peter C. Wright 0aFunology c2005bSpringer USaNew York aComputer Science