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]
@article{BustardNO88,
title = {A pictorial approach to the animation of process-oriented formal specifications},
author = {David W. Bustard and Mark T. Norris and Rodney A. Orr},
year = {1988},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=9158},
researchr = {https://researchr.org/publication/BustardNO88},
cites = {0},
citedby = {0},
journal = {IEE Proceedings - Software},
volume = {3},
number = {4},
pages = {114-118},
}