Adequate formalization

Michael Baumgartner, Timm Lampert

pp. 93-115


This document is unfortunately not available for download at the moment.

Not implemented yet !