Languages for intelligent specification systems. - Forouzan Golshani; W. T. Scott; P. D. White (ICCL, 1988)