Integrating formal models into the programming languages course