Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. - Noam Zilberstein; Angelina Saliling; Alexandra Silva 001 (Proc. ACM Program. Lang., 2024)