GLASS

General LAnguage for System Semantics

Esprit project at Katholieke Universiteit Nijmegen, Netherlands.