@unpublished{BachmannGraySchoenemann1997, author = {Olaf Bachmann and S. Gray and Hans Sch{\"o}nemann}, title = {MP Prototype Specification}, institution = {Fachbereich Mathematik}, series = {Reports on Computer Algebra (ZCA Report)}, number = {12}, year = {1997}, url = {http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:386-kluedo-4351}, }