D. J. Murray-Smith, “The Validation of Computer-based Models in Engineering: Some Lessons from Computing Science”, Acta Polytech, vol. 41, no. 4-5, Jan. 2001.