Ann Jackson Daniel Hoffman Inspecting Module Interface Specifications. 101-117 1994 4 Softw. Test., Verif. Reliab. 2 db/journals/stvr/stvr4.html#JacksonH94