David W. Bustard, Mark T. Norris, Rodney A. Orr. A pictorial approach to the animation of process-oriented formal specifications. IEE Proceedings - Software, 3(4):114-118, 1988. [doi]
No references recorded for this publication.
No citations of this publication recorded.