"Enhancing soft systems analysis with formal modelling."

David W. Bustard, P. J. Lundy (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics