Single source publishing: theoretical issues and technical implementations.