A change-oriented architecture for mathematical - Wagner, Marc. (Heidelberg : IOS, 2011)
includes bibliography, reference and index.