Theory of Program Structures: Schemes, Semantics, Verification

Springer Link; Linguagem: Português

Referência(s)