Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994 (focus on Computer Graphics)

James D. Foley, Piyawadee “Noi” Sukaviriya (auth.), Fabio Paternó