An electronic purse: Specification, refinement, and proof (2000)

by Susan Stepney, David Cooper, Jim Woodcock
Venue:Oxford University