palavras-chave Algebra of programming Functional programming Probabilistic risk assessment Program transformation
Digital Object Identifier (DOI) https://doi.org/10.1016/j.scico.2015.04.008 https://doi.org/10.1016/j.scico.2015.04.008