Formal Representation and Proof of the Interpreted Sequential Machine Model. - Mireille Larnac; Vincent Chapurlat; Janine Magnier; Benjamin Chenot (EUROCAST, 1997)