THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS