Dorothy E. Setliff Elaine Kant Tom Cain Practical Software Synthesis - Introduction. 6-9 1993 10 IEEE Software 3 db/journals/software/software10.html#SetliffKC93