Dr. Dobb's Sourcebook January/February 1997
interface computer {
typedef unsigned long Positive;
boolean is_prime_number (in Positive number);
sequence<Positive> prime_numbers (in Positive number);
sequence<Positive> decompose_into_prime_factors (in Positive number);
};