4 works on record
Expert Systems
Twirl
ROSS, an object-oriented language for constructing simulations
1984
Partial proofs and partial answers