Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Informatica

van Harmelen, F. (1983). On the implementation of an editor for the B programming language. In Stichting Mathematisch Centrum. Informatica (IW 220/83). Stichting Mathematisch Centrum.