Using classification as a programming language - Mellish, Christopher S.; Reiter, Ehud (1993)