Finally after over one year of (often interrupted) work I have completed a first specification of Programma. I could have released this specification almost a month earlier (indeed I had it ready on my hard drive for over a week now) if I had not been fully occupied by my first lectures in computer science. And that's also why I can't expect to continue Programma development before February 2011. At least some of the things I learn at UdS have already made into the specification (any fellow students of mine are encouraged to find them! :P)