Geurts, Leo "An overview of the B programming language or B without tears"
(1982)
[SIGPLAN] (1982)
SIGPLAN Notices 17(12) December 1982
Languages mentioned
B
{1975} Simple interactive programming environment