Letter with attachment

Invitation to take part in the next WG2.1 meeting "The Role of Specifications in Programming"; enclosed are some explanatory remarks and a form to be filled and returned