Volume XXXII, Issue 2, 2022 New Editorial Team for SACS after 16 Years, pages 181-182 Authors: B. Aman, G. Ciobanu Abstract | BibTeX | Full Text (PDF) Four Notions of Fault for Program Specifications, pages 183-209 Authors: J. A. Bergstra Abstract | References | BibTeX | Full Text (PDF) Behavioural Pseudometrics for Nondeterministic Probabilistic Systems, pages 211-254 Authors: W. Du, Y. Deng, D. Gebler Abstract | References | BibTeX | Full Text (PDF) An Enhanced Fluid Registration for Image Multi-Frame Super Resolution, pages 255-283 Authors: A. Laghrib, A. Hadri , M. Hakim Abstract | References | BibTeX | Full Text (PDF) Program Algebra for Random Access Machine Programs, pages 285-319 Authors: C.A. Middelburg Abstract | References | BibTeX | Full Text (PDF)