Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

CHAOS THEORY AND NONLINEAR DYNAMICS: A Simple Introduction to Sensitive Dependence and Attractors

Types of Christian Mission: An Introduction

Introduction to the Potential Theory for the Time-Dependent Stokes System (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)