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