Interpreter Verification for a Functional Language. - Manfred Broy; Ursula Hinkel; Tobias Nipkow; Christian Prehofer; Birgit Schieder (FSTTCS, 1994)

Logic and proof method of recursion. - Birgit Schieder (1994)

An Elementary Derivation of the Alternating Bit Protocol. - W. H. J. Feijen; A. J. M. van Gasteren; Birgit Schieder (MPC, 1998)

Adapting Calculational Logic to the Undefined. - Birgit Schieder; Manfred Broy (Comput. J., 1999)

Pointer Theory and Weakest Preconditions without Addresses and Heap. - Birgit Schieder (MPC, 2004)