Entailment the logic of relevance and necessity 
Anderson, Alan Ross.
Belnap, Nuel Dinsmore.
Princeton London Princeton University Press,
[1976]
Bibliography: p.493-515. - Includes index
Logic, Symbolic and mathematical.