Title: The formal specification of a visual display device:  design and implementation
Subjects: Computer science