New formalization of the JVM. http://nicosia.is.s.u-tokyo.ac.jp/members /miles/papers/cl-99.ps (1999)

by A Tozawa, M Hagiya