Tools for Program and Info Engineering