Bibliography

On the Basic Rules of Logical Transformation

Htabs