Towards a Specification of the B Programming Environment Jeroen van de Graaf, CWI report CS-R8408
(1984)
Languages mentioned
B
{1975} Simple interactive programming environment