World-wide evangelization the urgent business of the church; addresses delivered before the fourth international convention of the Student volunteer movement for foreign missions, Toronto, Canada, February 26-March 2, 1902.

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

Forty years among the Telugus : a history of the mission of the Baptists of Ontario and Quebec, Canada, to the Telegus, South India, 1867-1907 / by John Craig.

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

Canada's missionary congress; addresses delivered at the Canadian National Missionary Congress, held in Toronto, March 31 to April 4, 1909, with reports of committees.

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

Lightweight Formal Methods for the Development of High-Assurance Networking Systems

We survey several of the research efforts pursued by the iBench and snBench projects in the CS Department at Boston University over the last half dozen years. These activities use ideas and methodologies inspired by recent developments in other parts of computer science -- particularly in formal methods and in the foundations of programming languages -- but now specifically applied to the certification of safety-critical networking systems. This is research jointly led by Azer Bestavros and Assaf Kfoury with the participation of Adam Bradley, Andrei Lapets, and Michael Ocean.