Wydania przez Beyond Formal Operations Symposium