Daniel Jackson Somesh Jha Craig Damon Faster Checking of Software Specifications by Eliminating Isomorphs. 79-90 1996 POPL db/conf/popl/popl96.html#JacksonJD96 http://doi.acm.org/10.1145/237721.237733