Solution of assignments of course Elements of Software Construction of MIT OCW