Modular refinement in novel schema calculi. - Moshe Deutsch; Martin C. Henson; Besnik Kajtazi (APSEC, 2003)

The Specification Logic vZ. - Martin C. Henson; Besnik Kajtazi (REFINE, 2005)

The specification logic nuZ. - Martin C. Henson; Moshe Deutsch; Besnik Kajtazi (Formal Aspects Comput., 2006)

Specification refinement and program development in vZ. - Besnik Kajtazi (2009)