TY - BOOK AU - Kimbrough Steven O TI - Formal modelling in elctronic commerce SN - 3-540-21431-3 PY - 2005/// CY - USA PB - USA, Springer ER -