---
title          : How to Cite this Book
permalink      : /Citing/
---

## PLFA version 22.08

### Chicago

> Wadler, Philip, Wen Kokke, and Jeremy G. Siek.
> _Programming Language Foundations in Agda_.
> Available at `https://plfa.inf.ed.ac.uk/22.08/`.
> 2022.

### BibTeX

```bibtex
@Book{plfa22.08,
    author = {Philip Wadler and Wen Kokke and Jeremy G. Siek},
    title  = {Programming Language Foundations in {A}gda},
    year   = {2022},
    month  = aug,
    url    = {https://plfa.inf.ed.ac.uk/22.08/},
}
```

## PLFA version 20.07

### Chicago

> Wadler, Philip, Wen Kokke, and Jeremy G. Siek.
> _Programming Language Foundations in Agda_.
> Available at `https://plfa.inf.ed.ac.uk/20.07/`.
> 2020.

### BibTeX

```bibtex
@Book{plfa20.07,
    author = {Philip Wadler and Wen Kokke and Jeremy G. Siek},
    title  = {Programming Language Foundations in {A}gda},
    year   = {2020},
    month  = jul,
    url    = {https://plfa.inf.ed.ac.uk/20.07/},
}
```

## PLFA version 19.08

### Chicago

> Wadler, Philip and Wen Kokke.
> _Programming Language Foundations in Agda_.
> Available at `https://plfa.inf.ed.ac.uk/19.08/`.
> 2019.

### BibTeX

```bibtex
@Book{plfa19.08,
    author = {Philip Wadler and Wen Kokke},
    title  = {Programming Language Foundations in {A}gda},
    year   = {2019},
    month  = aug,
    url    = {https://plfa.inf.ed.ac.uk/19.08/},
}
```