Open maps at work (1995)

by A Cheng, M Nielsen
Venue:Proceedings of the 15th Annual Con- ference on Foundations of Software Technology and Theo- retical Computer Science