Investigating a file transfer protocol using CSP and B. - Evans, Neil; Treharne, Helen (Software & Systems Modeling, 2005)