Hammer, R.; Neaga, M.; Ratz, D. "PASCAL-XSC New Concepts for Scientific Computation and Numerical Data Processing" 1993 in "Scientific computation automatic results verification" E. Adams and others pp15-44

(1993)

Languages mentioned