Publisher
Springer International Publishing
Reference22 articles.
1. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
2. Lect Notes Comput Sci;M. Beeck von der,1994
3. R. Bird and P. Wadler. Introduction to functional programming. Prentice Hall, 1988.
4. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1):25–29, 1988.
5. D. D’Souza and A. Wills. Catalysis: Practical Rigor and Refinement. Addison-Wesley, 1998.