=ADD=
=author=
Cohen; Arjeh M. + Cuypers; Hans + Sterk; Hans
=title=
Some Tapas of Computer Algebra 
=year=
1999
=publisher=
Springer
=series=
Algorithms and Computation in Mathematics vol 4
=owner=
2
=reftype=
1
=source=
3

=ADD=
=author=
Kodama; Fumio
=title=
Analyzing Japanese High Technologies: The Techno-Paradigm Shift
=year=
1991
=publisher=
Pinter Publishers 
=owner=
1
=reftype=
1
=source=
3

=ADD=
=author=
Hoare; C.A.R. + Jifeng; He
=title=
Unifying Theories of Programming
=year=
1998
=publisher=
Prentice Hall
=series=
Series Editors C.A.R. Hoare and Richard Bird
=owner=
2


=reftype=
1
=source=
3
=ADD=
=author=
Gathen; Joachim + Gerhard; Juergen
=title=
Modern Computer Algebra
=year=
1999
=publisher=
Cambrigde university press
=owner=  
1
=reftype=
1
=source=
3

=ADD=
=author=
Bruederlin; B. + Roller; D.
=title=
Geometric Constraint Solving and Applications
=year=
1998
=publisher=
Springer
=owner=
2
=reftype=
1
=source=
3

=ADD=
=author=
Preining; Norbert
=title=
Sketch-as-proof : A proof-theoretic analysis of axiomatic projektive geometry
=year=
1999
=publisher=
University of Vienna
=note=
Diplomarbeit
=owner=
2
=reftype=
1
=source=
3