Rosenblum, David S. "Specifying Concurrent Systems with TSL" IEEE Software 8(3) (May 1991) pp52-61
(1991)
Languages mentioned
TSL
{1985} Parallel Ada