An implementation of a system for the formal definition of programming languagesBrian Alfred Hansche · First published 1978Open the Tome