An EVES update. - Dan Craigen; Mark Saaltink (ACM SIGSOFT Softw. Eng. Notes, 1985)

Relational semantics. - Mark Saaltink (ACM SIGSOFT Softw. Eng. Notes, 1985)

m-EVES: A Tool for Verifying Software. - Dan Craigen; Sentot Kromodimoeljo; Irwin Meisels; Andy Neilson; Bill Pase; Mark Saaltink (ICSE, 1988)

EVES: An Overview. - Dan Craigen; Sentot Kromodimoeljo; Irwin Meisels; Bill Pase; Mark Saaltink (VDM Europe (1), 1991)

Z and Eves. - Mark Saaltink (Z User Workshop, 1991)

Eves System Description. - Dan Craigen; Sentot Kromodimoeljo; Irwin Meisels; Bill Pase; Mark Saaltink (CADE, 1992)

An EVES Data Abstraction Example. - Mark Saaltink; Sentot Kromodimoeljo; Bill Pase; Dan Craigen; Irwin Meisels (FME, 1993)

The EVES System. - Sentot Kromodimoeljo; Bill Pase; Mark Saaltink; Dan Craigen; Irwin Meisels (Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993)

Ada 95 and Critical Systems: An Analytical Approach. - Dan Craigen; Mark Saaltink; Steve Michell (Ada-Europe, 1996)

Using analytical approaches for high integrity Ada95 systems. - Stephen Michell; Dan Craigen; Mark Saaltink (IRTAW, 1997)

The Z/EVES System. - Mark Saaltink (ZUM, 1997)

Guidance on the Use of Ada95 in High Integrity Systems. - Steve Michell; Mark Saaltink (Ada-Europe, 1998)

Looking into Safety with the Safety and Security Rapporteur Group. - Stephen Michell; Mark Saaltink; Brian A. Wichmann (SIGAda, 1998)

CHEPROO: A Fortran 90 object-oriented module to solve chemical processes in Earth Science models. - Sergio Andres Bea; Jesús Carrera; Carlos Ayora; F. Batlle; Mark Saaltink (Comput. Geosci., 2009)

A General Construction of Ordered Orthogonal Arrays Using LFSRs. - Daniel Panario; Mark Saaltink; Brett Stevens; Daniel Wevrick (IEEE Trans. Inf. Theory, 2019)

General results on the divisibility of low weight polynomials in Fq[x]. - Mark Saaltink; Daniel Wevrick (Finite Fields Their Appl., 2020)

A general and efficient numerical solution of reactive transport with multirate mass transfer. - Jingjing Wang; Jesús Carrera; Mark Saaltink; Cristina Valhondo (Comput. Geosci., 2022)

Generalized trigonometry and Chebyshev functions in finite fields. - Mark Saaltink (Finite Fields Their Appl., 2023)

Sets of mutually orthogoval projective and affine planes. - Charles J. Colbourn; Colin Ingalls; Jonathan Jedwab; Mark Saaltink; Ken W. Smith; Brett Stevens (Comb. Theory, 2024)