Building real-time imprecise computations in Ada. - Gary J. Gregory; Kwei-Jay Lin (TRI-Ada, 1990)