Program verification - Francez, Nissim ([S.n.], 1992)