The Boyer-Moore Theorem-Prover and LOTOS. - Sukhvinder S. Aujla; Matthew Fletcher (FORTE, 1988)

Specifying ROSE in LOTOS. - David Freestone; Sukhvinder S. Aujla (FORTE, 1988)

Applying formal methods within structured development. - Sukhvinder S. Aujla; Tony Bryant; Lesley Semmens (IEEE J. Sel. Areas Commun., 1994)