https://intlibrary.ir/download/fm’99-formal-methods:-world-congress-on-formal-met-19850/