Pascal precisely - Bishop, J. M. 1951- (Addison-Wesley, 1987)