Generating and model checking a hierarchy of abstract models.

Scott Hazelhurst Generating and model checking a hierarchy of abstract models. 53-68 2004 32 South African Computer Journal db/journals/saj/saj32.html#Hazelhurst04a