The social aspects of foreign missions, by William Herbert Perry Faunce.

http://www.archive.org/details/socialaspectsoff013484mbp

Religion and American adolescent delinquency, risk behaviors and constructive social activities

This report demonstrates that religion among U.S. adolescents is positively related to participation in constructive youth activities. In addition, those who participate in religious activities seem to be less likely to participate in many delinquent and risk behaviors.

Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.