VATS - the visible attributed translation system. - A. Berg; D. A. Bocking; Darwyn R. Peachey; Paul G. Sorenson; J. Paul Tremblay; Joseph A. Wald (SIGSMALL, 1985)