Classifying Discrete Temporal Properties
Lecture Notes in Computer Science (1999) - Comments
doi: 10.1007/3-540-49116-3_3  issn: 0302-9743 

Thomas Wilke