sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing. sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing. sponsored by the Computer Society of the IEEE Technical Committee on Mathematical Foundations of Computing. sponsored by Computer Society Technical Committee on Mathematical Foundations of Computer Science. IEEE Computing Society Technical Committee on Mathematical Foundations of Computing. sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems. sponsored by the IEEE Computer Society Technical Committee on Distributed Computing, Fort Worth, Texas Section. sponsored by IEEE Computer Society, Technical Committee on Real-Time Systems. sponsored by the IEEE Computer Society, Test Technology Committee, and the Philadelphia Section of the IEEE. sponsored by the Association for Computing Machinery with cooperation of IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.