Program refinement by theorem prover - Wright, Johan von, 1924- (Åbo Akademi University, 1994)