S. Talcott, “ ISBN: 978-2-296-54085-9”., FS, no. 2110.22439, pp. 267–271, Jun. 2016.