Towards pointer algebra (1993)

by B Möller
Venue:Science of Computer Programming