SILVER, the language and its implementation - Rothwell, Nick (1986)