S. Muddu, E. Sarto, M. Hofmann, A. Bashteen.
http://csdl.computer.org/dl/proceedings/sbcci/1998/8704/00/87040226.pdf