Kenneth Smith;Vipin Swarup;Sushil Jajodia;Donald Faatz;Todd Cornett;Jeff Hoyt
The MITRE Corporation;The MITRE Corporation;The MITRE Corporation;The MITRE Corporation;The MITRE Corporation;The MITRE Corporation
A practical introduction to denotational semantics
The world-wide telescope
Communications of the ACM