Ademar Aguiar, Shigeru Chiba, Elisa Gonzalez Boix: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020. ACM 2020, ISBN 978-1-4503-7507-8