P. Masci, “On formalising interactive number entry on infusion pumps”, eceasst, vol. 45, Sep. 2011.