José Meseguer

发表

Robert H. Halstead, Jan Kochanowski, Andrzej Chrzeszczyk, 2011, Encyclopedia of Parallel Computing.