Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679. - Tony Cant (SCS, 2002)

The HiVe Writer. - Tony Cant; Ben Long; Jim McCarthy; Brendan P. Mahony; Kylie Williams (SSV, 2008)