A compact and continuously operating CO₂ pumped HCOOH dual laser | IEEE Conference Publication | IEEE Xplore