Efficient Search as a Means of Executing Specifications.

Craig Damon Daniel Jackson Efficient Search as a Means of Executing Specifications. 70-86 1996 conf/tacas/1996 TACAS db/conf/tacas/tacas96.html#DamonJ96