Michio Honda Reiji Nakajima Strategies and Techniques for Interactive Proof. 48-60 1983 conf/iota/1983 The IOTA Programming System db/conf/iota/iota1983.html#HondaN83