Citation: D. Jackson et al., ISOMORPH-FREE MODEL ENUMERATION - A NEW METHOD FOR CHECKING RELATIONAL SPECIFICATIONS, ACM transactions on programming languages and systems, 20(2), 1998, pp. 302-343
Citation: D. Jackson et Ca. Damon, ELEMENTS OF STYLE - ANALYZING A SOFTWARE-DESIGN FEATURE WITH A COUNTEREXAMPLE DETECTOR, IEEE transactions on software engineering, 22(7), 1996, pp. 484-495