Form-based Codes Book by Daniel G. Parolek