A case study in proof based synthesis of algorithms on monotone lists | IEEE Conference Publication | IEEE Xplore