StructProc8b: A Language for Scientific Reasoning. - Joseph Phillips; Donald Bartoli; Michael Cohen (MAICS, 2013)