Judy Bowen, Steve Reeves. Formal Models for Informal GUI Designs. Electronic Notes in Theoretical Computer Science, 183:57-72, 2007. [doi]
@article{BowenR07,
title = {Formal Models for Informal GUI Designs},
author = {Judy Bowen and Steve Reeves},
year = {2007},
doi = {10.1016/j.entcs.2007.01.061},
url = {http://dx.doi.org/10.1016/j.entcs.2007.01.061},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BowenR07},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {183},
pages = {57-72},
}