INTRODUCING SPECIFICATION USING Z: A PRACTICAL CASE STUDY APPROACH - RATCLIFF, BRYAN ([S.N] : MC GRAW - HILL (3, s, 1993)
Keywords: Z (COMPUTER PROGRAM LANGUAGE)