Mathematical foundations of computer science ... proceedings