Results on Formal Stepwise Design in Z.

Moshe Deutsch, Martin C. Henson, Steve Reeves

Browse the full APSEC paper archive.