%T The Functional Specification of OCCAM Programs for Time Critical Applications
%A  Patrick Nixon,  Peter R. Croll
%E  Jon Kerridge
%B Proceedings of WoTUG\-16: Transputer and Occam Research : New Directions