The B-Book: Assigning Programs to Meanings