Logic Working Group. Common Logic: Abstract syntax and semantics (2003)

by Common