S. ABRAMSKY

• HANDBOOK OF LOGIC IN COMPUTER SCIENCE