id2203-basicabstractions.pdf