A formal definition of the static semantics of ELLA's core /
Morison, J. D.
Hill, M. G.
Royal Signals and Radar Establishment (Great Britain)
Malvern : Royal Signals and Radar Establishment,
1991.
Includes bibliography.
ELLA (Computer program language)