共 8 条
[1]
[Anonymous], 1989, Z NOTATION REFERENCE
[2]
DEMAN J, 1989, JUL P INT C SOFTW EN
[3]
FACI M, 1989, TR8907 U OTT COMP SC
[5]
JACKSON M, 1991, LECT NOTES COMPUT SC, V551, P1
[6]
KAY A, 1990, PRGTR1990 OXF U COM
[7]
Morgan Carroll, 1987, SPECIFICATION CASE S, P73