Equivalence of the Gries and Martin Proof Rules for Procedure Calls. - A. Bijlsma 001; J. G. Wiltink; P. A. Matthews (Acta Informatica, 1986)

A Sharp Proof Rule for Procedures in wp Semantics. - A. Bijlsma 001; P. A. Matthews; J. G. Wiltink (Acta Informatica, 1989)

Wideband Channel Sounding. - P. A. Matthews; I. R. Johnson (PIMRC, 1991)

Propagation over buildings using the angular spectrum of plane waves. - P. A. Matthews (PIMRC, 1994)

Direction of arrival of radio signals inside and outside buildings. - A. H. Abu-Bakar; P. A. Matthews (VTC, 1994)