The VAL language (1982)

by J R McGraw
Venue:ACM Trans. on Programming Languages and Systems