Ivor T. A. Spence Specification for Testing - The Removal of Abstraction. 3-14 1998 8 Softw. Test., Verif. Reliab. 1 db/journals/stvr/stvr8.html#Spence98