The semiotic turn
Semiotic perspectives on interactive languages for life on the screen
A methodology to specify three-dimensional interaction using Petri Nets
Journal of Visual Languages & Computing