[AA81] Squd Alagic and Micheal A. Arbib. The Design of Well Structured and Correct Programs. Springer-Verlag, 1981.
[AB99] M. Agarwal and S. Biswas. Primality and Identity Testing via Chinese remaindering. In Proceedings of Annual IEEE Symposium on Foundations of Computer Science, 202–209, 1999.
[Abr90] Karl R. Abrahamson. A time-space tradeoff for boolean matrix multiplication. In proceedings 31st Annual Symposium on Foundations of Computer Science, 412–419, St. Louis, MO, October 1990. IEEE.
[Abr 91] Karl R. Abrahamson. Time-space tradeoffs for algebraic problems on general sequential models, Journal of Computer and System Sciences, 13(2): 269–289, October 1991.
[AH87] L. M. Adleman and M. A. Huang. Recognizing primes ...