Pierre Kelsen. A declarative executable model for object-based systems based on functional decomposition. In Joaquim Filipe, Boris Shishkov, Markus Helfert, editors, ICSOFT 2006, First International Conference on Software and Data Technologies, Setúbal, Portugal, September 11-14, 2006. pages 63-71, INSTICC Press, 2006.
Abstract is missing.