Formal Grammar and Human Factors Design of an Interactive Graphics System | IEEE Journals & Magazine | IEEE Xplore