Split 'Compiler Correctness for Java-like Languages' into subsections and reference Java ME
Make algebraic approach slide more concise and add diagram