On the Essence of Oberon.

Published in: Programming Languages and System Architectures (1994)