Author: International Conference on Formal Description Techniques (9th 1996 Kaiserslautern, Germany)