Stig I. Andersson Analysis of Dynamical and Cognitive Systems, Advanced Course, Stockholm, Sweden, August 9-14, 1993, Proceedings Analysis of Dynamical and Cognitive Systems Lecture Notes in Computer Science 888 Springer 1995 3-540-58843-4 db/conf/ac/adcs1993.html