Jan Johannsen,
N.S. Narayanaswamy
Appeared in
Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings (MFCS 2002),
Lecture Notes in Computer Science, Vol 2420, pp.387-398, Aug 2002.