V. Wiktor Marek Miroslaw Truszczynski Revision Specifications by Means of Programs. 122-136 1994 conf/jelia/1994 JELIA db/conf/jelia/jelia94.html#MarekT94 http://dx.doi.org/10.1007/BFb0021968