Vladimir Klebanov: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016. ACM 2016, ISBN 978-1-4503-4439-5