de Snepscheut. Mechanized support for stepwise refinement (1994)

by Jan L A van