Developing and debugging algebraic specifications for Java classes
Design and implementation of a modern compiler course
PL-detective
The conversational classroom
ACM SIGCSE Bulletin
ACM Transactions on Software Engineering and Methodology
Proceedings of the 35th SIGCSE technical symposium on Computer science education - SIGCSE ’04
Proceedings of the 34th SIGCSE technical symposium on Computer science education - SIGCSE ’03
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education - ITICSE ’06
Michele H. Jackson
William M. Waite
Assad Jarrahian
Christoph Reichenbach
Johannes Henkel