Ganz-Exercises Contemporary and Special
D. J. Shoesmith and T. J. Similey - Multiple Conclusion Logic
adv3