Logical foundations and computational tools for synthetic biology - Figueiredo, Daniel Oliveira (2020)