Declarative Languages for Advanced Information Technologies - Kosky, Anthony (Journal of Information Technology)