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