Liam submits the final version of his thesis "Structured Specification with Processes and Data: Theory, Tools and Applications". A celebration is held at the office!