You are about to access our book library "Formal Description Techniques: Proceedings of the First International Conference on Formal Description Techniques Stirling, Scotland, 6-9 September, full version" .