Progress in Computer Science and Applied Logic
eBook (PDF mit Wasserzeichen)2016Springer International PublishingISBN 978-3-319-29198-7
A Topos-Theoretic Approach to Systems and Behavior
eBook (PDF mit Wasserzeichen)2019Springer International PublishingISBN 978-3-030-00704-1