Author: International Conference on Formal Description Techniques (1st 1988 Stirling, Scotland)