CoRR - Joseph Y. Halpern (ACM Journal of Computer Documentation, 2000)