Method and notation for the formal definition of .programming languages (1968)

by P LUCAS, P LAUER, EITNER STIGI, H