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