B

 1. np.

[spécification] Méthode de spécification formelle et de développement, conçue par Jean-Raymond Abrial, permettant la production de code à partir de machines abstraites. Du même auteur, la méthode Z ne fait que de la spécification.

 2. np. m.

[langage] Ancêtre du langage C.

 http://cm.bell-labs.com/cm/cs/who/dmr/bintro.html

 3. np.

[MS-DOS] Lettre traditionnellement réservée au deuxième lecteur de disquettes, sur les micros.