A Uniform Approach to Test Computational Complementarity. - Elena Calude; Bruce Mills; Lan Mills (Acta Cybern., 2004)

Theoretical introduction to programming. - Bruce Mills (Springer, 2006)

Evaluation time Estimation for Pass Transistor Logic circuits. - P. W. Chandana Prasad; Bruce Mills; Ali Assi 001; S. M. N. Arosha Senanayake; V. C. Prasad (DELTA, 2006)

Formal Presentation of Two Initial Variable Ordering Algorithms for Binary Decision Diagrams. - Bruce Mills; P. W. Chandana Prasad; Ali Assi 001 (MSV, 2006)

A Formal Model of Dynamic Resource Allocation in Grid Computing Environment. - Leila Ismail; Bruce Mills; Alain Hennebelle (SNPD, 2008)