PPIG 1991 - 3rd Annual Workshop
Formal Derivation Made Easy
Maurice Naftalin