bi An interpreter for the B programming language. Work in progress. Users' Reference to B by Ken Thompson