Algebraic derivation of an operational semantics

書誌詳細
主要な著者: Hoare, C, He, J, Sampaio, A
フォーマット: Conference item
出版事項: MIT Press 2000