Sanções disciplinares no Instituto Industrial do Porto. See original record