日本人松本与美国人比尔在一架开往英国的中国飞机上签订一份转让在中国某公司股权的合同，后因合同发生争议，双方约定由中国某法院管辖，实体法则适用美国法。请问，本案适用的程序法应当是(　　)
A.日本民事诉讼法
B.美国民事诉讼法
C.中国民事诉讼法
D.英国民事诉讼法