Foundations of Software Science and Computation Structures : 19th Internation...