Jinja is not Java

Cite this paper

@article{Klein2005JinjaIN, title={Jinja is not Java}, author={Gerwin Klein and Tobias Nipkow}, journal={Archive of Formal Proofs}, year={2005}, volume={2005} }