Declarative semantic definition, as illustrated by a definition of Simula 67