P. Walters
发表
Jan A. Bergstra,
Pum Walters,
J. Bergstra,
2003,
Inf. Softw. Technol..
Wan Fokkink,
Jasper Kamperman,
Pum Walters,
1997,
TOPL.
Wan Fokkink,
Jasper Kamperman,
Pum Walters,
2000,
TOPL.