Algebraic Methodology And Software Technology door Michael Johnson, Teodor Rus & Armando Haeberer