Task Sequencing Languages for Specifying Distributed Ada Systems. - David C. Luckham; David P. Helmbold; Sigurd Meldal; D. L. Bryan; M. A. Haberler (System Development and Ada, 1986)

An Axiomatic Semantics for Nested Concurrency. - Sigurd Meldal (BIT, 1986)

Partial Correctness of Exits from Concurrent Structures. - Sigurd Meldal (BIT, 1986)

An object-oriented approach to formal specification of reactive systems. - Neel Madhav; Sigurd Meldal (ICDCS, 1991)

Exploiting Locality in Maintaining Potential Causality. - Sigurd Meldal; Sriram Sankar; James Vera (PODC, 1991)

An Extension of Standard ML Modules with Subtyping and Inheritance. - John C. Mitchell; Sigurd Meldal; Neel Madhav (POPL, 1991)

A Complete Axiomatic Semantics of Spawning. - Sigurd Meldal (Distributed Comput., 1991)

Sets and Nondeterminism. - Michal Walicki; Sigurd Meldal (ICLP Workshop on Logic Programming with Sets, 1993)

Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. - Michal Walicki; Sigurd Meldal (COMPASS/ADT, 1994)

On Specialization of Derivations in Axiomatic Equality Theories. - Aida Pliuskeviciene; Regimantas Pliuskevicius; Michal Walicki; Sigurd Meldal (LFCS, 1994)

An Algebraic Approach to Refinement of KBS Specification. - Anca I. Vermesan; Sigurd Meldal (EUROVAV, 1995)

Generated Models and the omega-Rule: The Nondeterministic Case. - Michal Walicki; Sigurd Meldal (TAPSOFT, 1995)

A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. - Michal Walicki; Sigurd Meldal (ACM Trans. Program. Lang. Syst., 1995)

NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. - Sigurd Meldal; David C. Luckham (Requirements Targeting Software and Systems Engineering, 1997)

Algebraic Approaches to Nondeterminism: An Overview. - Michal Walicki; Sigurd Meldal (ACM Comput. Surv., 1997)

Singular and Plural Nondeterministic Parameters. - Michal Walicki; Sigurd Meldal (SIAM J. Comput., 1997)

Compositional Homomorphisms of Relational Structures. - Michal Walicki; Adis Hodzic; Sigurd Meldal (FCT, 2001)

Nondeterminism vs. Underspecification. - Michal Walicki; Sigurd Meldal (ISAS-SCI (1), 2001)

Computation Algebras. - Michal Walicki; Magne Haveraaen; Sigurd Meldal (Math. Struct. Comput. Sci., 2001)

Measuring Component-Based Systems Using a Systematic Approach and Environment. - Jerry Gao 002; Yumei Wu; Lee Chang; Sigurd Meldal (SOSE, 2006)