A technical manual for the Interface Booster environment.