Paun, G., Rozenberg G., Maurer H., & Karhumaki J.  (2004).??Theory is Forever.  Lecture Notes in Computer Science. 3113, X+283.