In the field of Programming Languages and Formal Methods, many of the top journals and conference proceedings are open access