The examination topics are defined by the lecture contents. This means that you can find all the information in the lecture notes that are linked from the Lectures page or in chapters 1-6 and 9 in the Nielson textbook except section 4.4 and 9.1. I have skipped most of the details of the proofs that different semantics for While are equivalent. You can do likewise while reading the book, but make sure that you understand and can use the different kinds of induction principles.