Formal Modelling in Electronic CommerceSteven O. Kimbrough, Dongjun Wu · First published 2006 · Latest edition 2014Open the Tome
