Formal semantic definition of ELLA timing /
Hill, M. G.
Whiting, E. V.
Morison, J. D.
Royal Signals and Radar Establishment (Great Britain)
Malvern : Royal Signals and Radar Establishment,
c1990.
Includes bibliographical references.
ELLA (Computer program language)