Author: International Conference on Formal Description Techniques. (4th 1991 Sydney, Australia)