On defining and checking the context conditions of programming languagesStephen John Bevan · First published 1993Open the Tome