Algebraic derivation of an operational semantics

Bibliográfalaš dieđut
Váldodahkkit: Hoare, C, He, J, Sampaio, A
Materiálatiipa: Conference item
Almmustuhtton: MIT Press 2000