Verifying Process Algebra Proofs in Type Theory. - M. P. A. Sellink (Semantics of Specification Languages, 1993)

Proof-Checking a Data Link Protocol. - Leen Helmink; M. P. A. Sellink; Frits W. Vaandrager (TYPES, 1993)

Confluence for Process Verification. - Jan Friso Groote; M. P. A. Sellink (CONCUR, 1995)

Generation of Components for Software Renovation Factories from Context-Free Grammars. - Mark van den Brand; M. P. A. Sellink; Chris Verhoef (WCRE, 1997)

Control Flow Normalization for COBOL/CICS Legacy System. - Mark van den Brand; Alex Sellink; Chris Verhoef (CSMR, 1998)

Current Parsing Techniques in Software Renovation Considered Harmful. - Mark van den Brand; M. P. A. Sellink; Chris Verhoef (IWPC, 1998)

Development, Assessment, and Reengineering of Language Descriptions. - M. P. A. Sellink; Chris Verhoef (ASE, 1998)

Native Patterns. - M. P. A. Sellink; Chris Verhoef (WCRE, 1998)

A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. - Henri Korver; M. P. A. Sellink (Formal Aspects Comput., 1998)

Example Verifications Using Alphabet Axioms. - Henri Korver; M. P. A. Sellink (Formal Aspects Comput., 1998)

On the Conservativity of Leibniz Equality. - M. P. A. Sellink (Int. J. Found. Comput. Sci., 1998)

Restructuring of COBOL/CICS Legacy Systems. - Alex Sellink; Chris Verhoef; Harry M. Sneed (CSMR, 1999)

A Two-Phase Process for Software Architecture Improvement. - René L. Krikhaar; André Postma; M. P. A. Sellink; M. Stroucken; Chris Verhoef (ICSM, 1999)

Generation of Software Renovation Factories from Compilers. - M. P. A. Sellink; Chris Verhoef (ICSM, 1999)

An Architecture for Automated Software Maintenance. - M. P. A. Sellink; Chris Verhoef (IWPC, 1999)

Scaffolding for Software Renovation. - M. P. A. Sellink; Chris Verhoef (CSMR, 2000)