Fifth international workshop on software specification and design : proceedings : MAY 19-20, 1989, PITTSBURGH, PENNSYLVANIA, USA (The Institute of Electrical and Electronics Engineers, Inc, 1989)