Gastric PCO2 tonometry by J.J. Kolkman