@book{ hajn:96, author = "Hajnicz, Elżbieta", publisher = "Springer-Verlag", title = "Time Structures", series = "Lecture Notes in Artificial Intelligence", year = "1996", number = "1047", address = "Berlin" }