B. Ritchie

Issues Related to Context Management in Mobile Grid Computing Applications

A. Terracina, P. Osland, T. Kirkham, 2006 .

Managing Context in Akogrimo

A. Terracina, P. Osland, T. Kirkham, 2006 .

“The C Programming Language”, 2nd Edition, Pearson Education, 1988.

Brian W. Kernighan and Dennis M. Ritchie, B. Ritchie, 2015 .

Proof in VDM: A Practitioner's Guide

Peter A. Lindsay, Brian Ritchie, Juan Bicarregui, 1993, Proof in VDM.

The design and implementation of an interactive proof editor

Brian Ritchie, B. Ritchie, 1988 .

The interactive proof editor: an experiment in interactive

Brian Ritchie, Paul Taylor, B. Ritchie, 1989 .