Implementing mathematics with theNupre prod development systems - Constable R L (Englewood Englewood, Prentice Hall, 1986)