Title: A W-grammar for the semantics of integer expressions
First published: 1976