A Guide to Specifying Concurrent Behaviour with Abacus (1990)

by Oscar Nierstrasz
Citations:9 - 5 self