 Process Algebra with Timing by J.C.M. Baeten Baeten, Cornelis A. Middelburg, et all 15 August, 2002
 Algebraic Semantics of Imperative Programs (Foundations of Computing) by Joseph A. Goguen, Grant Malcolm, 22 May, 1996
 Parallel Algorithms for Matrix Computations by K. Gallivan, Robert J. Plemmons, et all December, 1990
 Rounding Errors in Algebraic Processes by James H. Wilkinson, July, 1994
 Exploring Math from Algebra to Calculus with Derive, A Mathematical Assistant by Jerry Glynn, 01 September, 1992
 Applications of Finite Fields by A. J. Menezes, Ian F. Blake, January, 1993
 Discrete Mathematics in Computer Science by Donald F. Stanat, David F. McAllister, March, 1977
 Introduction to Maple by Andre Heck, 08 April, 2003
 Algebraic Aspects of Cryptography (Algorithms and Computation in Mathematics, Vol 3) by Neal I. Koblitz, January, 1998
 Matrix Theory and Applications with MATLAB by Darald J. Hartfiel, 28 November, 2000
