Title: A study of two formal description languages and their application to PASCAL
First published: 1981