Stav dette: Mathematical modeling of pressurized thermodynamics.