Towards pointer algebra (1993)

by B Moller
Venue:Science of Computer Programming