共 4 条
[2]
The derivation of functional equivalents of imperative programs
[J].
PROCEEDINGS OF THE 24TH AUSTRALASIAN COMPUTER SCIENCE CONFERENCE, ACSC 2001,
2001, 23 (01)
:171-176