• 题名: Logic for Concurrency and Synchronisation
    作者: Ruy J. G. B. Queiroz
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-1-4020-1270-9
在架