Proceedings of the 1st International Workshop on Type-Driven Developmentby James ChapmanWriting a summary for young readers…For young readersBook data: Open Library