Title: Formal Methods for Interactive Systems (Computers and People Series)
Subjects: Interactive computer systems, Computer graphics, Software engineering