Fifth international workshop on software specification and design : proceedings, Pittsburgh, Pennsylvania, U. S. A., May 19-20, 1989 - Neumann, Peter G. (IEEE Computer Society Press, 1989)