FORMAL MODELLING IN ELECTRONIC COMMERCE - KIMBROUGH S O (New York Springer, 2005)