A Formal Definition of the Static Semantics of ELLA's Core', Report No 91024 Royal Signals and Radar Establishment (1991)

by J D Morison, M G Hill
Venue:Royal Signals and Radar Establishment, St Andrews Road, Great Malvern, Worcstershire WR14 3PS