A Refinement Methodology for Distributed Programs in Rust - Bílý, Aurea; id_orcid:0 000-0002-9284-9161; Pereira, João C.; Müller, Peter (Proceedings of the ACM on Programming Languages, 9 (OOPSLA2, 2025)