Refinement of Z specifications using reusable software components in Ada. - John Hayward 001; Stephen Bale (TRI-Ada, 1995)

OR and language planning: modelling the interaction between unilingual and bilingual populations. - John Wyburn; John Hayward 001 (J. Oper. Res. Soc., 2009)