Postdoc symposium - A Logic Meta-Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs
Build Your Own 3D Scanner: Course Notes
LATEX Cookbook - Sample Chapter
UML guide
