Melvin Fitting Annotated Revision Specification Programs. 143-155 1995 conf/lpnmr/1995 LPNMR db/conf/lpnmr/lpnmr95.html#Fitting95