Mark R. Blackburn
-
Using Expert Systems to Construct Formal Specifications
IEEE Expert: Intelligent Systems and Their Applications