Book

Symbolic Computation in Software Science

by Stephen Watt, Tetsuo Ida