A framework for program development based on schematic proof | IEEE Conference Publication | IEEE Xplore