Authors: PROWELL SJ POORE JH

Citation: Sj. Prowell et Jh. Poore, SEQUENCE-BASED SOFTWARE SPECIFICATION OF DETERMINISTIC SYSTEMS, Software, practice & experience, 28(3), 1998, pp. 329-344