Keywords = sequential function specification method
Number of Articles: 1