Zheng Fu, Graeme Smith: Towards More Flexible Development of Z Specifications. TASE 2008: 281-288