@article{ hajn:91a, author = "Hajnicz, Elżbieta", volume = "34", journal = "International Journal of Man-Machine Studies", title = "Another Approach to Formalizing the Point and Interval Calculi", pages = "703--716", year = "1991" }