Title: The Synchronous Programming Language Signal: A Tutorial
Description: For this declarative language, for realtime uses: reactive, embedded systems. Synchronous languages are opposite to the asynchronous types, as in C, Ada. Five chapters. Paper, PDF format.