Reihe Lecture Notes in Artificial IntelligenceElzbieta Hajnicz × Time StructuresFormal Description and Algorithmic RepresentationElzbieta HajniczSpringer BerlineBook2005 Time StructuresFormal Description and Algorithmic RepresentationElzbieta HajniczSpringer BerlinSoftcover1996