Richard Butterworth, Ann Blandford, David J. Duke. Using Formal Models to Explore Display-Based Usability Issues. Journal of Computer Languages, 10(4):455-479, 1999.
@article{ButterworthBD99,
title = {Using Formal Models to Explore Display-Based Usability Issues},
author = {Richard Butterworth and Ann Blandford and David J. Duke},
year = {1999},
tags = {rule-based},
researchr = {https://researchr.org/publication/ButterworthBD99},
cites = {0},
citedby = {0},
journal = {Journal of Computer Languages},
volume = {10},
number = {4},
pages = {455-479},
}