Mathematical Foundations of Computer Science 1996: 21st International Symposium, Held Sept 2-6, 1996 (SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF ... FOUNDATIONS OF COMPUTER SCIENCE)