Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September, 1988 - Turner, Kenneth J. (North-Holland, 1989)