Nester, C.M. Concurrent process histories and resource transducers // Logical methods in computer science (2023) vol. 19, 1, p. 7:1-7:22 : ill. https://doi.org/10.46298/LMCS-19(1:7)2023