Gérard Milmeister's repositories
bcomp-java
B Compiler Suite in Java
bman
User's Reference to B (Thompson, 1972) [new typesetting]
Language:TeX000
ruleworks-userguide
Userguide for RuleWorks, newly typeset
Language:TeX000
B Compiler Suite in Java
User's Reference to B (Thompson, 1972) [new typesetting]
Userguide for RuleWorks, newly typeset