SIGPLAN Notices 17(12) December 1982

[SIGPLAN] SIGPLAN Notices  

Geurts, Leo (1982) Geurts, Leo "An overview of the B programming language or B without tears" Wise, M.J. (1982) Wise, M.J. "EPILOG = PROLOG + Data Flow",