Jesse Alama, Kasper Brink, Lionel Mamane & Josef Urban (2011):
Large Formal Wikis: Issues and Solutions.
In: Davenport,
pp. 133–148,
doi:10.1007/978-3-642-22673-1_10.
Andrea Asperti & Wilmer Ricciotti (2012):
A Web Interface for Matita.
In: Jeuring,
pp. 417–421,
doi:10.1007/978-3-642-31374-5_28.
David Aspinall (2000):
Proof General: A Generic Tool for Proof Development.
In: Susanne Graf & Michael I. Schwartzbach: TACAS,
Lecture Notes in Computer Science 1785.
Springer,
pp. 38–42,
doi:10.1007/3-540-46419-0_3.
Bruno Barras & Enrico Tassi (2012):
Designing a state transaction machine for Coq.
In: Coq Workshop.
Alan Cooper, Robert Reimann & David Cronin (2007):
About Face 3 — The Essentials of Interaction Design, chapter 25: Errors, Alerts, and Confirmations,
pp. 545–547.
Wiley Publishing, Inc..
Section: Rich visual modeless feedback.
Pierre Corbineau & Cezary Kaliszyk (2007):
Cooperative Repositories for Formal Proofs.
In: Manuel Kauers, Manfred Kerber, Robert Miner & Wolfgang Windsteiger: Proc. of the 6th International Conference on Mathematical Knowledge Management (MKM'07),
LNCS 4573.
Springer Verlag,
pp. 221–234,
doi:10.1007/978-3-540-73086-6_19.
James H. Davenport, William M. Farmer, Josef Urban & Florian Rabe (2011):
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings.
Lecture Notes in Computer Science 6824.
Springer,
doi:10.1007/978-3-642-22673-1.
Erich Gamma, Richard Helm, Ralph Johnson & John Vlissides (1994):
Design Patterns – Elements of Reusable Object-Oriented Software, chapter Behavioral Patterns – Observer.
Addison–Wesley.
First edition, 20th printing.
Marijn Haverbeeke (2007):
Implementing a Syntax-Highlighting JavaScript Editor — In JavaScript /* A brutal odyssey to the dark side of the DOM tree */.
Blog post.
Available at http://codemirror.net//1/story.html.
Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel & Volker Sorge (2012):
Intelligent Computer Mathematics - 11th International Conference, CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings.
Lecture Notes in Computer Science 7362.
Springer,
doi:10.1007/978-3-642-31374-5.
Cezary Kaliszyk (2007):
Web Interfaces for Proof Assistants.
In: S. Autexier & C. Benzmüller: Proc. of the Workshop on User Interfaces for Theorem Provers (UITP'06),
ENTCS 174[2],
pp. 49–61,
doi:10.1016/j.entcs.2006.09.021.
Benjamin C. Pierce, Chris Casinghino & Michael Greenberg (2010):
Software Foundations.
Course notes, online at http://www.cis.upenn.edu/~bcpierce/sf/.
Carst Tankink, Herman Geuvers, James McKinna & Freek Wiedijk (2010):
Proviola: a Tool for Proof Re-animation.
In: Serge Autexier, Jacques Calmet, David Delahaye, Patrick D.F. Ion, Laurence Rideau, Renaud Rioboo & Alan P. Sexton: Intelligent Computer Mathematics,
Lecture Notes in Artifical Intelligence LNAI 6167.
Spring-Verlag Berlin Heidelberg,
pp. 440 – 454,
doi:10.1007/978-3-642-14128-7_37.
Carst Tankink, Christoph Lange & Josef Urban (2012):
Point-and-Write - Documenting Formal Mathematics by Reference.
In: Jeuring,
pp. 169–185,
doi:10.1007/978-3-642-31374-5_12.
The Coq Development Team:
The Coq Proof Assistant.
Available at http://coq.inria.fr.
Josef Urban, Piotr Rudnicki & Geoff Sutcliffe (2012):
ATP and Presentation Service for Mizar Formalizations.
J. Autom. Reasoning,
doi:10.1007/s10817-012-9269-y.
Bill Venners (2003):
Exploring with Wiki — A Conversation with Ward Cunningham, Part 1.
interview.
Available at http://www.artima.com/intv/wiki.html.
Response to the second question.
Makarius Wenzel (2011):
Isabelle as Document-Oriented Proof Assistant.
In: Davenport,
pp. 244–259,
doi:10.1007/978-3-642-22673-1_17.