Functional specification of the Basic File System and one of several file subsystems envisioned for the ISPL computing system described in R-562. A generalization of the GRAIL logical input/output system (see RM-6257), the software package is described in its ISPL context.
