R. s\.enas, P. Curzon, J. Back, and A. Blandford. Interactive Systems. Design, Specification, and Verification, 4323, Springer London, Heidelberg, The original publication is available at www.springerlink.com.(2007)
A. Blandford, S. Makri, J. Gow, J. Rimmer, C. Warwick, and G. Buchanan. Journal of the American Society of Information Science and Technlogy, 58 (3):
433--445(February 2007)This is a preprint of an article published in Blandford, A. and Makri, S. and Gow, J. and Rimmer, J. and Warwick, C. and Buchanan, G. (2007) A Library or Just another Information Resource? A Case Study of Users' Mental Models of Traditional and Digital Libraries. Journal of the American Society of Information Science and Technlogy, 58 (3). pp. 433-445. ISSN 15322882. The published version can be found at http://www.interscience.wiley.com.
R. s\.enas, P. Curzon, and A. Blandford. Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006), (July 2007)