Toward special-purpose program verification.

Published in: Formal Methods in Software Development (1990)