A Formal Model for English Auction Protocol. - Munira G. Nabi; Aamer Nadeem (SERA, 2009)