inf-cg-ws20-elaboration