Paradigms of Computer Programming - Abstraction and Concurrency -- notes and exercises