Lecture Notes in Computer Science (2005) - Comments
doi: 10.1007/11547662_11  issn: 0302-9743  issn: 1611-3349 

---

Neal Glew, Jens Palsberg, Christian Grothoff