Programmatuur gebruikt bij het ontwerp van het TH2 en het DeFlu-proces