MiMi: A Java Implementation of the MicroMint Scheme. - Vesna Hassler; Robert Bihlmeyer; Michael Fischer; Manfred Hauswirth (WebNet, 1997)