A. Blandford, P. Curzon, J. Hyde, and G. Papatzanis. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)
A. Neto, T. Bittar, R. Fortes, and K. Felizardo. SAC '09: Proceedings of the 2009 ACM Symposium on Applied Computing, Honolulu, HI, USA, page 116-120. (2009)
M. Soegaard, and R. Dam (Eds.) The Interaction-Design.org Foundation, Aarhus, Denmark, (2012)This is an electronic document (last visited: May 28, 2012)..