Robert M. Hierons Mark Harman Harbhajan Singh Automatically Generating Information from a Z Specification to Support the Classification Tree Method. 388-407 2003 conf/zum/2003 ZB http://link.springer.de/link/service/series/0558/bibs/2651/26510388.htm db/conf/zum/zb2003.html#HieronsHS03