Proceedings - Bergman, C. H.; Maddux, R. D.; Pigozzi, Don, (Lecture notes in computer science ;)