@inbook {price_automatic_1991, title = {The automatic animation of concurrent programs}, booktitle = {First Moscow International HCI{\textquoteright}91 Workshop Proceedings}, year = {1991}, pages = {128{\textendash}137}, author = {Blaine A. Price and Baecker, Ronald M.} }