TROJÁK, Matej,
David ŠAFRÁNEK, Lukrécia MERTOVÁ a
Luboš BRIM. Executable Biochemical Space for Specification and Analysis of Biochemical Systems.
PLOS ONE. Public Library of Science, 2020, roč. 15, č. 9, s. 1-23, 24 s. ISSN 1932-6203. Dostupné z: https://dx.doi.org/10.1371/journal.pone.0238838.