Expressivity of Lean Formalisms - Pulman, S (1994)