如何用C51语言编写一个源程序，实现数码管初始化显示'00'，并利用T0定时器的模式1中断机制来控制秒计数（每1秒增加1，当达到60后重置回'00'）？请提供详细的代码和相应的中断服务函数实现步骤。

在C51语言中，首先需要了解基本的硬件设置和库函数，然后按照以下步骤编写源程序：

#include <reg52.h> // 包含头文件，用于访问8051寄存器

// 定义全局变量存储数码管的状态
sbit D7 = P0^4; // 数码管D7连接到P0.4
sbit D6 = P0^5;
// ... (依次添加其他数码管引脚)

// 初始化数码管
void init_digit_display() {
    // 对每个数码管位进行清零操作
    D7 = 0;
    D6 = 0; // 其他位也类似
    
    // 设置定时器T0的工作方式为模式1（13MHz晶振）
    TMOD &= ~0b11110000; // 清除TMOD寄存器的高四位
    TMOD |= 0b00000010; // 设置定时器T0为模式1
}

// T0定时器的模式1中断服务函数
void timer0_ISR(void) interrupt 1 using 1 {
    static char sec = '0'; // 当前秒数，从'0'开始递增
    static char display[] = {'0', '0'}; // 存储'00'

    // 如果秒数等于9，更新数码管并重置秒数
    if (sec == '9') {
        D7 = 1;
        D6 = 0;
        sec = '0';
    }
    else {
        sec++;
    }

    display[sec-'0'] = 1; // 更新显示字符
    // 显示功能需依赖于具体的硬件接口和驱动，这里仅示例如何将数字显示出来
    // 如果有LCD接口，可以设置对应位置的像素

    // 中断标志位清除
    IT0 = 0;
}

int main(void) {
    init_digit_display(); // 初始化数码管
    EA = 1; // 开启全局中断
    ET0 = 1; // 启动定时器T0中断
    IT0 = 1; // 设置T0中断允许

    while(1); // 无限循环，等待中断触发
}