Merkliste 
 1 Ergebnisse 
 
1

OpenMath: an overview:

Dewar, Mike
ACM SIGSAM Bulletin.  34 (2000)  2 - p. 2-5 , 2000