Rátai Dániel Balázs; Horváth Zoltán; Porkoláb Zoltán; Tóth Melinda: Traquest model : a novel model for ACID concurrent computations. In: Acta cybernetica, (25) 2. pp. 435-468. (2021)