sponsored by IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing. sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.