Towards sensor-based general purpose robot programming language. - Rajko Milovanovic (Robotica, 1987)

Using Z to Rigorously Review a Specification of a Network Management System. - Tony Bryant; Andy Evans; Lesley Semmens; Rajko Milovanovic; Sinclair Guillaume Stockman; Mark T. Norris; Clive Selley (ZUM, 1995)