David W. Bustard, P. J. Lundy. Enhancing soft systems analysis with formal modelling. In Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England. pages 164-171, IEEE Computer Society, 1995. [doi]
Abstract is missing.