Skywalkers
LadyKarai
The OCaml System: Documentation and User's Manual
Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy & Jérôme Vouillon
ScrumAndXpFromThe[..]
Unknown
The Way of the Househusband Volume 3
Kousuke Oono
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport