Fisher J., Piterman N., and Vardi Y.M.
We draw an analogy between biology and computer hardware systems and argue for the need of a tower of abstractions to tame complexity of living systems. Just like in hardware design, where engineers use a tower of abstractions to produce the most complex man-made systems, we stress that in reverse engineering of biological systems; only by using a tower of abstractions we would be able to understand the "program of life".
In 17th International Symposium on Formal Methods, LNCS 6664, pp. 3–11
Publisher Springer Verlag