Telecommunications and beyond: The Broader Applicability of SDL and MSC Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers - Sherratt, Edel; Sherratt, Edel (Springer Berlin Heidelberg : Imprint: Springer, 2003)