The software repeater : (an exercise in Z specification) /
O'Halloran, C.
Malvern : Royal Signals & Radar Establishment,
1987.
Programming languages (Electronic computers)