reference Krichel, Thomas (2000). ReDIF version 1. available at http://openlib.org/acmes/root/docu/.papers/redif_1.a4.pdf.