Bibliography entries for constructive Krull dimension