Inspecting Module Interface Specifications. - Ann Jackson; Daniel Hoffman (Softw. Test. Verification Reliab., 1994)