Title: Continuous domains in logical form
First published: 1999