[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 7362 || An Essence of SSReflectJeuring, Johan; Campbell, John A.; Carette, Jacques; Dos Reis, Gabriel; Sojka, Petr; Wenzel, Makarius; Sorge, Volker · 2012

[Lecture Notes in Computer Science] Theoretical Computer Science and Discrete Mathematics Volume 10398 || An Overview of the MapReduce ModelArumugam, S.; Bagga, Jay; Beineke, Lowell W.; Panda, B.S. · 2017

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || DeepAlgebra - An Outline of a ProgramGeuvers, Herman; England, Matthew; Hasan, Osman; Rabe, Florian; Teschke, Olaf · 2017

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 3125 || An Injective Language for Reversible ComputationKozen, Dexter · 2004

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 1422 || An application of program derivation techniques to 18th-century mathematicsJeuring, Johan · 1998

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || Presentation and Manipulation of Mizar Properties in an Isabelle Object LogicGeuvers, Herman; England, Matthew; Hasan, Osman; Rabe, Florian; Teschke, Olaf · 2017

[Lecture Notes in Computer Science] Computer Mathematics Volume 5081 || An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order SystemsKapur, Deepak · 2008

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 1422 || An elementary derivation of the alternating bit protocolJeuring, Johan · 1998