Formal modelling in elctronic commerce - Kimbrough Steven O (USA USA, Springer, 2005)