Data refinement of predicate transformers (1991)

by P H Gardiner, C C Morgan
Venue:Theoretical Computer Science