J. C. P. Woodcock
-
Deriving programs using generic algorithms
IBM Systems Journal
Refinement and state machine abstraction
Theoretical Computer Science