Specifications and testing aided by a variant of the cause-effect process. - Anthony Q. Baxter; J. Austin French (ACM Southeast Regional Conference, 1992)