Simpson, A.

- 2014
- [ABS+14] Awodey S. et al.

- 2012
- [SS+12] Simpson A. et al.

- 2007
- [ABS+07] Awodey S. et al.

Valid HTML 4.01!Valid CSS!