Case Studies in Meta-Level Theorem Proving. - Friedrich W. von Henke; Stephan Pfab; Holger Pfeifer; Harald Rueß (TPHOLs, 1998)

Towards Light-Weight Verification and Heavy-Weight Testing. - Stephan Pfab; Harald Rueß; Sam Owre; Friedrich W. von Henke (Tool Support for System Specification, Development and Verification, 1998)