Logic in Computer Science
Subtitle: Proceedings, 19th Annual IEEE Symposium, Turku, Finland, 2004
ISBN-13: 9780769521923