@incollection{Du12,
author = {Guofu Zhou and Zhuomin Du},
title = {Visualizing Program Semantics},
booktitle = {Semantics in Action},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Muhammad Tanvir Afzal},
chapter = {9},
doi = {10.5772/38636},
url = {https://doi.org/10.5772/38636}
}