Interactive Proof Critics. - Andrew Ireland; Mike Jackson 003; Gordon Reid (Formal Aspects Comput., 1999)