On the Design of an Editor for the B Programming Language Aad Nienhuis, CWI, report IW 248/83
(1983)
Languages mentioned
B
{1975} Simple interactive programming environment