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