00543nam a2200133Ia 4500008004100000020002200041041001200063100001500075245003800090260003200128440003800160650002100198650019000219231221s9999    xx            000 0 und d  a978-3-540-76637-7  aEnglish  aZhong Shao 0aProgramming Languages and Systems  c2007bSpringer USaNew York  aLecture Notes in Computer Science  aComputer Science  aProgramming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Operating Systems; Programming Techniques; Mathematical Logic and Formal Languages