An Interactive, Incremental and Portable Computer Algebra System for Lambda-Calculus and Combinatory Logic Based on Video Edition and Rewriting Techniques. - N. Girard (STACS, 1987)

CellPilot: A Seamless Communication Solution for Hybrid Cell Clusters. - N. Girard; William B. Gardner; John D. Carter; Gary Gréwal (ICPP Workshops, 2011)