* RAISE, Rigorous Approach to Industrial Software Engineering, was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner.

" Industrial Organization: A Strategic Approach ," ( aka IOSA )”, Free Textbook

* Babak Hassibi, Ali H. Sayed, and Thomas Kailath, Indefinite Quadratic Estimation and Control: A Unified Approach to H2 and Hoo Theories, Society for Industrial & Applied Mathematics ( SIAM ), PA, 1999, ISBN 978-0-89871-411-1.

North Killingholme Industrial Estate is situated at Lancaster Approach.

RAISE ( Rigorous Approach to Industrial Software Engineering ) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner.

* RAISE – Rigorous Approach to Industrial Software Engineering