HyperReal One: the implementation, the environment and an example. - Marco Agnoli; Alessandro Poli; Antonella Verdino; Francesco Tisato (RTS, 1995)