Logic in Computer Science (4th Conference) (IEEE Computer Society Press)