http://www.complang.tuwien.ac.at/franz/progspr13s3