Robert Balzer, Neil M. Goldman: Principles of good software specification and their implications for specification languages. AFIPS National Computer Conference 1981: 393-400