Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology - David A. Rosenblueth (Frontiers Media SA, 2016)