Logic in Computer Science, Fifth Conference (IEEE Computer Society Press)