Formal Modelling in Electronic Commerce - Kimbrough, Steven O. (Springer-Verlag Berlin Heidelberg, 2005)