P. Curzon, and A. Blandford. Engineering for Human-Computer Interaction, 2254, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2001)
A. Adams, and A. Blandford. Research and Advanced Technology for Digital Libraries: 5th European Conference, ECDL 2001 Darmstadt, Germany, September 4-9, 2001 Proceedings, 2163, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2001)
H. Xiong, P. Curzon, S. Tahar, and A. Blandford. Integrated Formal Methods, 2335, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2002)
P. Curzon, and A. Blandford. Interactive Systems: Design, Specification and Verification, 2545, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2002)
G. Buchanan, A. Blandford, M. Jones, and H. Thimbleby. Visual Interfaces to Digital Libraries, 2539, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2002)
A. Adams, and A. Blandford. Digital Libraries: People, Knowledge, and Technology, 2555, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2002)
P. Curzon, and A. Blandford. Proceedings of the 4th International Conference on Integrated Formal Methods, 2999, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2004)
G. Buchanan, A. Blandford, H. Thimbleby, and M. Jones. Research and Advanced Technology for Digital Libraries: 8th European Conference, ECDL 2004, Bath, UK, September 12-17, 2004. Proceedings, 3232, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2004)
A. Adams, and A. Blandford. International Journal on Digital Libraries, 4 (2):
71--81(2004)The original publication is available at www.springerlink.com.