On orthogonality in programming languages. - B. Tim Denvir (ACM SIGPLAN Notices, 1979)

Experience of Introducing the Vienna Development Method into an Industrial Organization. - M. I. Jackson; B. Tim Denvir; Roger C. Shaw (TAPSOFT, Vol.2, 1985)

Advanced Software Technology - Development and Introduction to Practice - Response. - B. Tim Denvir (IFIP Congress, 1986)

The Cash-Point (ATM) 'Problem'. - B. Tim Denvir; José Nuno Oliveira; Nico Plat (Formal Aspects Comput., 2000)

Editorial. - John Cooke; B. Tim Denvir (Formal Aspects Comput., 2002)