Information Leaflet with Attachment

Short information for participants of the "Formal Description of Programming Concepts" Conference. The attachment is an ad booklet for tourists in St.Andrews.