Executable semantic descriptions (1986)

by D A Watt
Venue:Software -- Practice & Experience 16(1):13--43