C. Amelunxen and T. Rötschke, “Creating Well-Structured Specifications in MOFLON”, eceasst, vol. 1, Jul. 2007.