1. Baker, P.: Test Generation towards TTCN-3. In: ETSI TTCN-3 User Conference (2004)
2. Baker, P., Burton, S., Bristow, P., King, D., Jervis, C., Mitchell, B., Thomson, R.: Detecting and Resolving Semantic Pathologies in UML Sequence Diagrams. In: ACM ESEC-Foundations of Software Engineering (2005)
3. Baker, P., Dai, Z., Grabowski, J., Haugen, O., Samuelsson, E., Schieferdecker, I., Williams, C.: The UML 2.0 Testing Profile. In: Proc. of the Conf. on Quality Engineering in Software Technology 2004, Nuremberg, Germany (2004)
4. Baker, P., Jervis, C., King, D.: An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications. In: Trinder, P., Michaelson, G., Loidl, H.-W. (eds.) Trends in Functional Programming. Intellect, vol. 1, pp. 126–135 (2000)
5. Boyle, J., Harmer, T., Weigert, T., Weil, F.: Knowledge-Based Derivation of Programs from Specifications. In: Bourbakis, N. (ed.) Artificial Intelligence And Automation, World Scientific Press, Singapore (1996)