1. A novel deadlock and starvation free packet switching communication processor;Annot,1987
2. Structural and behavioural descriptions of digital systems;Barbacci,1984
3. Algebra of communicating processes;Bergstra,1986
4. Petri Nets theory for the correctness of protocols;Berthelot,1982
5. ML under UNIX;Cardelli;Polymorphism Newslett.,1983