Concurrent Programming in Java: Design Principles and Pattern, Doug Lea

Information Retrieval Application Service Definition and Protocol Specification

Formal Methods of Program Verification and Specification, Helmut K. Berg et etc.

Software Design Methods for Concurrent and Real-Time Systems (Sei Series in Soft

Neural and Concurrent Real Time Systems: The Sixth Generation, Branko Soucek

British Standard Institution Specification pour Tubulaire Tramway Poteaux ~1919

Neural and Concurrent Real Time Systems: The Sixth Generation, Branko Soucek