FN ISI Export Format VR 1.0 PT J TI Modula-P AF Vollmer, Jürgen Dietrich, Roland AU Vollmer, J Dietrich, R ER