Publication
-
January 1984
-
January 1984
-
January 1984
-
An implementation of the B programming language Tech Report
January 1984 -
Description of B Tech Report
January 1984 -
A user's guide to the B system Tech Report
January 1984 -
January 1984
-
January 1984