Title: Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems / Edition 1, Author: Howard Bowman
Title: The OSI95 Transport Service with Multimedia Support, Author: Andre Danthine