algorithm-level semantics

biblio