Formal Modelling in Electronic Commerce - Kimbrough, Steven O.; Wu, D.J (Springer Berlin Heidelberg, 2005)