Salvador Lucas, Javier Oliver: A New Proposal of Concurrent Process Calculus. SOFSEM 1996: 385-392