Formal Verification and Implementation of a (1987)

by J J Joyce