Static analysis of Martin-Löf's intuitionistic type theory. - Alastair J. Telford (1995)

Extending the application of formal methods to analyse human error and system failure during accident investigations. - Christopher W. Johnson 001; Alastair J. Telford (Softw. Eng. J., 1996)

Ensuring Streams Flow. - Alastair J. Telford; David Turner (AMAST, 1997)

Ensuring Termination in ESFP. - Alastair J. Telford; David Turner (J. Univers. Comput. Sci., 2000)