Abrial, Jean-Raymond Concurrent Program Development. [Teaching Resource] (Unpublished)