\input zb-basic \input zb-ioport \iteman{io-port 50186751} \itemau{Wailly, Olivier; H\'eraud, Nicolas; Malasse, Olaf} \itemti{Design of instrumentation in process plants using Groebner bases} \itemso{Computers & Chemical Engineering 32, No. 10, 2179-2188 (2008).} \itemcc{} \itemut{} \itemli{doi:10.1016/j.compchemeng.2007.10.011} \end