Billing , L . Prawitz och N . P.