Foreword -- Abbreviations -- Introduction -- Design and implementation of