SICM has been on my list of things to study for years, but I haven't made it much past the delightful preface:<p>> <i>When we started we expected that using this approach to formulate mechanics would be easy. We quickly learned that many things we thought we understood we did not in fact understand. Our requirement that our mathematical notations be explicit and precise enough that they can be interpreted automatically, as by a computer, is very effective in uncovering puns and flaws in reasoning. The resulting struggle to make the mathematics precise, yet clear and computationally effective, lasted far longer than we anticipated. We learned a great deal about both mechanics and computation by this process. We hope others, especially our competitors, will adopt these methods, which enhance understanding while slowing research.</i><p>This second edition is from 2015, following the 2001 first edition.<p>Unfortunately, unlike SICP, it does not seem to be under a free license, so it is not legal to translate it into Spanish or produce a reformatted digital version that incorporates an actual Scheme interpreter.