EXPOSE: an animation tool for process-oriented specifications

Adam C. Winstanley, David W. Bustard
1991 Software Engineering Journal  
doi:10.1049/sej.1991.0045 fatcat:l4vtccxeo5fhzbddwst5elfpy4