Implementation-Title:   nl.tue.win.riaca.mathematica.codec.programming
Implementation-Version: 1.0.2
Implementation-Vendor:  RIACA, Technische Universiteit Eindhoven
Specification-Title:    Mathematica Openmath Programming Codec
Specification-Version:  1.0
Specification-Vendor:   RIACA, Technische Universiteit Eindhoven