"Draft Proposal for the B Language", Lambert Meertens, CWI, Amsterdam, 1981.
(1981)
Languages mentioned
B
{1975} Simple interactive programming environment