Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning J. DingelD. GarlanD. Notkin Original Paper 21 April 2005 Pages: 193 - 213
Heterogeneous Notations for Pure Formal Method Integration Richard F. Paige Original Paper 21 April 2005 Pages: 233 - 242
The Standard Logic of Z is Inconsistent Martin C. Henson Original Paper 21 April 2005 Pages: 243 - 247
A Formal Definition of Time in LOTOS Luc LéonardGuy Leduc Original Paper 21 April 2005 Pages: 248 - 266
ZRC – A Refinement Calculus for Z Ana CavalcantiJim Woodcock Original Paper 21 April 2005 Pages: 267 - 289