The Formal Development of a Secure Transaction Mechanism. - Paul Smith; Richard Keighley (VDM Europe (1), 1991)