Z Mathematical Toolkit in Isabelle/HOL by Simon Foster, Pedro Ribeiro, Frank Zeyda and Jim Woodcock Oct 16
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming by Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro and Burkhart Wolff Feb 01