This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

Physiology of the Gastrointestinal Tract, Fifth Edition — winner of a 2013 Highly Commended BMA Medical Book Award for Internal Medicine — covers the study of the mechanical, physical, and biochemical functions of the GI Tract while linking the clinical disease or disorder, bridging the gap between clinical and laboratory medicine. The gastrointestinal system is responsible for the breakdown and absorption of various foods and liquids needed to sustain life. Other diseases and disorders treated by clinicians in this area include: food allergies, constipation, chronic liver disease and cirrhosis, gallstones, gastritis, GERD, hemorrhoids, IBS, lactose intolerance, pancreatic, appendicitis, celiac disease, Crohn’s disease, peptic ulcer, stomach ulcer, viral hepatitis, colorectal cancer and liver transplants. The new edition is a highly referenced and useful resource for gastroenterologists, physiologists, internists, professional researchers, and instructors teaching courses for clinical and research students. 2013 Highly Commended BMA Medical Book Award for Internal Medicine Discusses the multiple processes governing gastrointestinal function Each section edited by preeminent scientist in the field Updated, four-color illustrations