Gregor von Bochmann Michel Raynal Structured Specification of Communicating Systems. 120-133 1983 32 IEEE Trans. Computers 2 db/journals/tc/tc32.html#BochmannR83