A Practical Approach to the Analysis of Concurrent Systems.

Jean-Raymond Abrial A Practical Approach to the Analysis of Concurrent Systems. 66-96 1983 conf/acs/1983 The Analysis of Concurrent Systems db/conf/acs/acs1983.html#Abrial83