An Implementation-Oriented Method for Describing Algorithmic Languages. - Andrei P. Ershov; Valery V. Grushetsky (IFIP Congress, 1977)