Data refinement by calculation (1988)

by C C Morgan, P H B Gardiner