What Declarative Languages Are

semantic-domain.blogspot.com