- Wolfram Kahl, David Lorge Parnas, Gunther Schmidt 0001, editors, First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001. Volume 44 of Electronic Notes in Theoretical Computer Science, Elsevier, 2001.